61. Modelle der Mengenlehre, Widerspruchsfreiheit und Unabhangigkeit der Kontinuum - Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
62. Modelle der Mengenlehre Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
63. Notes on logic and set theory
پدیدآورنده : P. T. Johnstone
موضوع : Logic, Symbolic and mathematical,set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
64. Notes on logic and set theory
پدیدآورنده : Johnstone, P. T.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Logic, Symbolic and mathematical.,، Set theory
رده :
QA
9
.
J6N6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
65. Ones and zeroes
پدیدآورنده : John Gregg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Electronic digital computers - circuits - Design,Logic, Symbolic and mathematical,Algebra, Boolean,Set theory
رده :
TK
,
7888
.
4
,.
G74
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
66. Quality, Resemblance, and order
پدیدآورنده : Shreider, Iulii Anatolevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S524
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
67. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
68. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
69. Roads to infinity : the mathematics of truth and proof
پدیدآورنده : Stillwell, John.
موضوع : ، Set theory,، Infinite,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
70. Set theory and its logic
پدیدآورنده : Quine, W. V.)Willard Van Orman(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
71. Set theory and logic
پدیدآورنده : Frankel, Abraham Adolf
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
72. Set theory and logic
پدیدآورنده : Fraenkel, Abraham Adolf
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
73. Set theory and logic
پدیدآورنده : Fraenkel, Abraham Adolf
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
74. Set theory and logic
پدیدآورنده : Stoll, Robert Roth.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S7985
1963
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
75. Set theory and logic
پدیدآورنده : by Robert R. Stoll,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
.
S7985
248
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
76. Set Theory and the continuum hypothesis
پدیدآورنده : Cohen, paul 4391-
موضوع : ، Set Theory,، Logic Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
77. Set thory and the continuum hypothesis
پدیدآورنده : Cohen,Paul J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
C69
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
78. Sets, Logic and categories
پدیدآورنده : / Peter J. Cameron
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Set theory,Logic,symbolic and mathematical,Categories(Mathematics)
رده :
511
.
322
C182s
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
79. Sets, logic
پدیدآورنده : Dodge, Clayton W.,]by[ Clayton W. Dodge
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Number theory,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
241
.
D6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
80. Sets, logic, and axiomatic theorie
پدیدآورنده : Stoll, Robert Roth.,]by[ Robert R. Stoll
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
S78
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)